Skip to content

Conversation

@ofranc
Copy link
Collaborator

@ofranc ofranc commented Jul 24, 2025

Reporter: Mathias Haddad

This PR is a new changelog contribution. It has been created automatically.

Make sure to review it carefully before merging it.

@ofranc ofranc added the type: changelog Changelog entries label Jul 24, 2025
@nerda-codes nerda-codes added the do not merge PR that shouldn't be merged before a specific date (eg release) label Jul 24, 2025
@nerda-codes nerda-codes removed the do not merge PR that shouldn't be merged before a specific date (eg release) label Aug 6, 2025
@nerda-codes nerda-codes merged commit 5e7291c into main Aug 6, 2025
5 of 6 checks passed
@nerda-codes nerda-codes deleted the docs/changelog/2025-07-24-094217 branch August 6, 2025 15:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

type: changelog Changelog entries

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants